Nuprl Definition : Rrframe 0,22
@loc: only members of L read x == inr(inr(inr(inr(inr(inr(inr(inr(inr(inr(<loc,x,L>)))))))))) 
latex

Definitionsinr(x), <a,b>
FDL editor aliasesRrframe

origin